Security Evaluation of Asynchronous Circuits
نویسندگان
چکیده
Balanced asynchronous circuits have been touted as a superior replacement for conventional synchronous circuits. To assess these claims, we have designed, manufactured and tested an experimental asynchronous smart-card style device. In this paper we describe the tests performed and show that asynchronous circuits can provide better tamperresistance. However, we have also discovered weaknesses with our test chip, some of which have resulted in new designs, and others which are more fundamental to the asynchronous design approach. This has led us to investigate the novel approach of design-time security analysis rather than rely on post manufacture analysis.
منابع مشابه
Testing asynchronous circuits: A survey
Asynchronous circuit design has been studied for decades, but it has only recently been feasible to construct large and e cient asynchronous systems. This paper surveys di erent techniques for checking whether an asynchronous circuit has fabrication defects. The inherent di erences between asynchronous and synchronous circuits, primarily that asynchronous circuits do not have a global clock, ne...
متن کاملTesting Asynchronous Circuits: A Survey1
Asynchronous circuit design has been studied for decades, but it has only recently been feasible to construct large and eecient asynchronous systems. This paper surveys diierent techniques for checking whether an asynchronous circuit has fabrication defects. The inherent diierences between asynchronous and synchronous circuits, primarily that asynchronous circuits do not have a global clock, ne...
متن کاملPerformance Evaluation of Asynchronous Circuits Using Abstract Probabilistic Timed Petri Nets with Choice
A framework for evaluating the performance of asynchronous systems is presented. Performance evaluation of the asynchronous circuits is a challenging process due to the dependencies between highly concurrent events. The utilized performance model is a Probabilistic Timed Petri-Net (PTPN) with possible choice places to capture the conditional behavior of the system. The proposed framework exploi...
متن کاملSynchronous Full-Scan for Asynchronous Handshake Circuits
Handshake circuits form a special class of asynchronous circuits that has enabled the industrial exploitation of the asynchronous potential such as low power, low electromagnetic emission, and increased cryptographic security. In this paper we present a test solution for handshake circuits that brings synchronous test-quality to asynchronous circuits. We add a synchronous mode of operation to h...
متن کاملHalf-buffer retiming and token cages for synchronous elastic circuits
Synchronous elastic circuits borrow the tolerance of computation and communication latencies from the asynchronous design style. The datapath is made elastic by turning registers into elastic buffers and adding a control layer that uses synchronous handshake signals and join/fork controllers. Join elements are the objective of two improvements discussed in this paper. Half-buffer retiming allow...
متن کامل